121. Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture

رده :
QA
76
.
L28
Vol
.
1915

122. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(

رده :
QA
76
.
L28
Vol
.
1985

123. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

المؤلف:

المکتبة: المکتبه المرکزيه و مرکز الوثائق جامعه اصفهان (أصبهان)

موضوع: Embedded computer systems- Programming- Congresses ► Programming languages (Electronic computers)- Congresses ► Compilers (Computer programs)- Congresses

رده :
005
A184l

124. Logic, language, and computation

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;

125. Logic, language, and computation

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses

رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005

126. Logic, language, and computation :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

رده :
QA76
.
9
.
L63
I57
2009eb

127. Logic, language, and computation

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها

رده :
QA
75
.
5
.
L644
2015
E-Book
,

128. Logic program synthesis and transformation - meta-programming in logic :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.

129. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning

رده :
QA
76
.
7
.
A285
2005

130. Machine oriented higher level languages

المؤلف:

المکتبة: (طهران)

موضوع: Programming languages (Electronic computers) -- Congresses

رده :
QA
76
.
I18
1973

131. Machine oriented higher level languages

المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع: Programming languages (Electronic computers) -- Congresses

رده :
76
.
I8
1973

132. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Programming languages )Electronic computers(-- Congresses

رده :
QA
76
.
I18
1973

133. Machines, languages, and complexity

المؤلف:

المکتبة: (طهران)

موضوع: Computers -- Congresses,Programming languages (Electronic computers) -- Congresses,Computational complexity -- Congresses

رده :
QA
76
.
5
.
I5773
1988

134. Machines, languages, and complexity

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Computers-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computational complexity-- Congresses

رده :
QA
76
.
5
.
I5773
1988

135. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity

رده :
QA
76
.
L28
Vol
.
381

136. Manipulation languages, Piss, 1966. Symbol manipulation languages and techniques. Proceedings of the IFIP Working conference on Symbol Manipulation Languages

المؤلف:

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Programming languages (Electronic computers) - Congresses

رده :
001
.
6424
I11s
1966

137. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming

رده :
QA
76
.
L4
v
.
239

138. Mathematical foundations of computer science

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(

رده :
QA
267
.
5
.
S4
S89
1974

139. Mathematical foundations of computer science 1995

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses

رده :
QA267
.
M38
1995

140. Mathematical foundations of computer science 1986; Proceedings of the 12th symposium Bratislava, Czechoslovakia, August 25-29, 1986

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(

رده :
QA
76
.
L4
v
.
233